Trong toán học, trực giao là tổng quát hóa của khái niệm tính vuông góc trong lĩnh vực đại số tuyến tính về các dạng song tuyến tính. Hai phần tử u và v của một không gian vectơ với dạng song tuyến tính B là trực giao nếu B(u, v) = 0. Tùy vào dạng song tuyến tính, không gian vectơ có thể có vectơ khác không trực giao với chính nó. Trong trường hợp không gian hàm, họ các hàm trực giao được sử dụng để tạo ra cơ sở.Mở rộng ra, khái niệm trực giao còn được dùng để chỉ sự tách biệt giữa các chức năng nhất định trong một hệ thống. Thuật ngữ cũng có ý nghĩa chuyên biệt trong nhiều ngành khác bao gồm nghệ thuật và hóa học.